Section: Contracts and Grants with Industry

Grants

Google Focused Research Awards

Participants : Narendra Jussien, Charles Prud'Homme.

• Title: Non intrusive explanations.

• Duration: 2011.

• Type: new grant .

• Budget: 75000 Euros.

Constraint programming, despite its numerous successes in practice, suffers from not being really user-friendly when used by software engineers. Explanations for constraint programming have addressed this issue but are not yet widely used in the CP community. The objective of our work is to specify an user-oriented explanation-module for flexible solver architectures and provide a reference implementation within the new version of our solver CHOCO . This line of work will be founded in 2012 by the CNRS (one year of engineer).